targeted mutation 1, Michael J Bevan MGI:3690124 Dtx1<tm1Mjb> http://identifiers.org/mgd/MGI:3690124 Null/knockout Dx1-KO